退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从直觉逻辑到Gödel-Dummett逻辑通过并行对话游戏
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:人机对话中的非正式逻辑对话游戏
机译:关于有限值G?del-Dummett逻辑中逻辑连接词的互表示性的说明
机译:通过并行对话游戏,从直觉逻辑到godel-dummett逻辑
机译:单子直觉和模态逻辑承认可证明性
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:通过平行对话游戏,从直觉逻辑到哥德尔-达米特逻辑
机译:从索引的Lax逻辑到直觉逻辑
机译:用于多个逻辑装置/电路的并行逻辑装置/电路测试器以及并行存储器芯片修复装置
机译:用于测试多个逻辑设备/电路的并行逻辑设备/电路测试仪以及并行存储器芯片修复装置
机译:握手使串行和并行接口最小化,移位寄存器通过并行总线耦合到地址逻辑和控制逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。